module Module

match (), [] with
| A, (_ as a) :: _ -> ()
